Définition :
On appelle domaine de A-stabilité du schéma l'ensemble des \(z=h\lambda\in{\Bbb C}\) tels que le schéma appliqué à \(\begin{cases} y^\prime=\lambda y\\ y(t_0)=y_0\end{cases}\) avec le pas \(h\in{\Bbb R}^+\) vérifie \(\lvert y_n\rvert{\underset{n\to+\infty}\longrightarrow}0\)
(le schéma vérifie la propriété de la solution continue \(\lvert y(t)\rvert\underset{t\to+\infty}\longrightarrow0\) pour \(\lambda\) tq \(\Re(\lambda)\lt 0\))